/*
   This CSS defines the "highlighted code" blocks.
*/

/* these are new and still evolving: */
code.php { color: #0000BB; }
code.str { color: #DD0000; }
code.ini { color: #000099; }
php { font-family: courier; color: #0000BB; }
str { font-family: courier; color: #DD0000; }
ini { font-family: courier; color: #000099; }

pre.text {
	padding: 8px;
	border-radius: 2px;
	margin: 16px 0 0 0;
	border: 1px solid grey;
	background-color: #E0E0E0;
}
pre.text > span:first-child {
	color: #bbb;
	float: right;
	font-size: smaller;
	font-style: italic;
}

pre.ini {
	padding: 8px;
	border-radius: 2px;
	border: 1px solid grey;
	margin: 16px 0 0 0;
	background-color: #FCFCFC;
	font-family:courier;
	line-height: 1.3em;
}
pre.ini > span:first-child {
	float: right;
	color: #bbb;
	font-size: smaller;
	font-style: italic;
	margin-top: -5px;
}

div.css {
	padding: 0 0 0 10px;
	margin: 4px 0 4px 0;
	border-radius: 2px;
	font-family: courier;
	line-height: .9em;
	border: 1px solid #bbb;
	background-color: #F3F5F7;
}
div.css > span:first-child {
	float: right;
	color: #bbb;
	font-size: smaller;
	font-style: italic;
	margin-right: 5px;
}

div.php {
	padding: 8px 8px 8px 4px;
	counter-reset: n; 
	line-height: 1.3em;
	border-radius: 2px;
	font-family: courier;
	margin: 16px 0 0 0;
	border: 1px solid #bbb;
	background-color: #F3F5F7;
}
div.php > span:first-child {
	float: right;
	color: #bbb;
	font-size: smaller;
	font-style: italic;
	margin-top: -8px;
}

span.n {
	display: inline-block;
	width: 30px;
	text-align: right;
	margin-right: 5px; 
	padding-right: 3px;
	color: #bbb;
	border-right: 1px solid #bbb;
}
span.n:after {
	content: counter(n);
	counter-increment: n;
}

